package org.cos.verifier.automata;


public class EPDA extends Automata {

}
